Generalized Constant Propagation: A Study in C
نویسندگان
چکیده
Generalized Constant Propagation (GCP) statically estimates the ranges of variables throughout a program. GCP is a top-down compositional compiler analysis in the style of abstract intepretation. In this paper we present an implementation of both intraprocedural and interprocedural GCP within the context of the C language. We compare the accuracy and utility of GCP information for several versions of GCP using experimental results from an actual implementation.
منابع مشابه
Wave Propagation in Generalized Thermodiffusion Elastic Medium with Impedence Boundary Condition
In the present investigation, we study the reflection of plane waves, that is, Longitudinal displacement wave(P-Wave), Thermal wave(T-Wave) and Mass Diffusive wave(MD-Wave) in thermodiffusion elastic-half medium which is subjected to impedence boundary condition in context of one relaxatioon time theory given by Lord and Shulman theory (L-S) and the Coupled theory (C-T) of thermoelasticity. The...
متن کاملEffect of Rotation and Stiffness on Surface Wave Propagation in a Elastic Layer Lying Over a Generalized Thermodiffusive Elastic Half-Space with Imperfect Boundary
The present investigation is to study the surface waves propagation with imperfect boundary between an isotropic elastic layer of finite thickness and a homogenous isotropic thermodiffusive elastic half- space with rotation in the context of Green-Lindsay (G-L model) theory. The secular equation for surface waves in compact form is derived after developing the mathematical model. The phase velo...
متن کاملWave Propagation in Mixture of Generalized Thermoelastic Solids Half-Space
This paper concentrates on the reflection of plane waves in the mixture of generalized thermo elastic solid half-space. There exists quasi dilatational waves i.e. qP1, qP2, qT and two rotational waves S1, S2 in a two dimensional model of the solid. The boundary conditions are solved to obtain a system of five non-homogeneous equations for amplitude ratios. These amplitude ratios are found to de...
متن کاملWave Propagation and Fundamental Solution of Initially Stressed Thermoelastic Diffusion with Voids
The present article deals with the study of propagation of plane waves in isotropic generalized thermoelastic diffusion with voids under initial stress. It is found that, for two dimensional model of isotropic generalized thermoelastic diffusion with voids under initial stress, there exists four coupled waves namely, P wave, Mass Diffusion (MD) wave, thermal (T) wave and Volume Fraction (VF) wa...
متن کاملAnalyzing the Propagation Behavior of a Gaussian Laser Beam through Seawater and Comparing with Atmosphere
Study of the beam propagation behavior through oceanic media is a challenging subject. In this paper, based on generalized Collins integral, the mean irradiance profile of Gaussian laser beam propagation through ocean is investigated. Power In Special Bucket (PIB) is calculated. Using analytical expressions and calculating seawater transmission, the effects of absorption and scattering on beam ...
متن کامل